| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 585094 | ||
| Algorithmic Learning Theory | Fach-/Modulprüfung | 6 | 582076 | ||
| Algorithmic Model Theory I | Fach-/Modulprüfung | 9 | 582183 | ||
| Analysis of Algorithms | Fach-/Modulprüfung | 8 | 582278 | ||
| Compiler Construction | Fach-/Modulprüfung | 6 | 582126 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 581976 | ||
| Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 585609 | ||
| Übung | 588005 | Di 12:30-14:00 AH II (2350|111) (×12) | |||
| Vorlesung | 588004 | Mo 14:30-16:00 5056 (2356|056) (×12) Fr 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 582432 | ||
| Übung | 578158 | Do 12:30-14:00 5054 (2356|054) (×14) | |||
| Vorlesung | 578375 | Mi 10:30-12:00 5056 (2356|056) (×15) | |||
| Introduction to Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 585081 | Fr 26.02.2027 14:30-16:30 Großer Hörsaal AM (1420|210) TEMP1 (1515|001) Do 25.03.2027 16:30-18:30 Großer Hörsaal AM (1420|210) | |
| Vorlesung/Übung | 577583 | Mo 14:30-16:00 AH III (2350|314.1) (×15) Mi 12:30-14:00 AH III (2350|314.1) (×15) | |||
| Logic and Games | Fach-/Modulprüfung | 9 | 584059 | ||
| Fach-/Modulprüfung | 9 | 584058 | |||
| Mathematical Logic II | Fach-/Modulprüfung | 9 | 582180 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 582969 | ||
| Module Complexity Theory | Fach-/Modulprüfung | 6 | 582407 | ||
| Parameterized Algorithms | Fach-/Modulprüfung | 8 | 585087 | ||
| Übung | 600240 | Mi 14:30-16:00 5055 (2356|055) (×15) | |||
| Vorlesung | 600239 | Di 12:30-14:00 5056 (2356|056) (×14) Do 12:30-14:00 5056 (2356|056) (×15) | |||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 584032 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 582304 | Fr 19.02.2027 09:00-11:00 004 (1830|004) BS II (2131|102) Mo 15.03.2027 12:00-14:00 BS II (2131|102) | |
| Übung | 577153 | Di 10:30-12:00 AH I (2350|028) (×14) | |||
| Vorlesung | 577327 | Mo 16:30-18:00 AH II (2350|111) (×15) Do 12:30-14:00 AH III (2350|314.1) (×15) | |||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 585052 | Di 23.02.2027 09:00-11:00 H06 (1385|004) Mo 22.03.2027 09:00-11:00 AH VI (2356|051) | |
| Übung | 587536 | Mi 10:30-12:00 AH I (2350|028) (×1) Do 14:30-16:00 AH II (2350|111) (×1) Fr 14:30-16:00 AH I (2350|028) (×14) | |||
| Vorlesung | 587537 | Mi 10:30-12:00 AH I (2350|028) (×14) Do 14:30-16:00 AH II (2350|111) (×14) | |||
| Stochastic Games | Fach-/Modulprüfung | 6 | 581578 |